package xyz.scootaloo.code.test

import xyz.scootaloo.code.draft.discrete.expr
import xyz.scootaloo.code.draft.discrete.show

/**
 * @author flutterdash@qq.com
 * @since 2021/10/13 18:02
 */
fun main() {
    expr("((q or s) and (!s) and (p->q->s) and (r->p))->(r->s)").show()
    expr("(q and (p->(q->s)) and (r -> p))->(r->s)").show()
    expr("(q and (r->q->s))->(r->s)").show()

    // !(a = 1 and  b = 0) <=> (a)
//    expr("!(a->b) or c").show()
//    expr("a->(b->c)").show()
}
